Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
91	Ambivalent Types for Principal Type Inference with GADTs Jacques Garrigue1 and Didier R´emy2 1 Nagoya University, Graduate School of Mathematics Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:37:28 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Orbifold Symbol
92	c 2006 International Press ! COMM. MATH. SCI. Vol. 4, No. 1, pp. 267–273 Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2007-06-06 15:27:46 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution
93	Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:35 Logic in computer science Type theory Proof theory Classical logic Semantics Logical framework Propositional calculus Intuitionistic logic Negation Logic Mathematical logic Judgment
94	An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 10:05:38 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Valuation Generalised Whitehead product Symbol
95	Completeness of Kozen’s Axiomatisation of the Propositional µ-Calculus Igor Walukiewicz1 BRICS2,3 Department of Computer Science University of Aarhus Add to Reading List Source URL: www.labri.fr Language: English - Date: 2009-03-11 04:09:33
96	Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-11-20 04:37:18 Model theory Predicate logic Markov logic network Rules of inference Probabilistic logic Stable model semantics Resolution First-order logic Atomic formula Propositional calculus FO Inference
97	Introducing Propositional Logic and Queueing Theory with the InfoTraffic Interactive Learning Environments Ruedi Arnold Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:45 Logic Mathematics Mathematical logic Abstraction Syntax Propositional calculus False Proposition Queueing theory Well-formed formula
98	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Add to Reading List Source URL: stijnheymans.net Language: English - Date: 2015-12-05 16:07:35 Predicate logic Mathematical logic Propositional calculus Automated theorem proving Query languages Datalog Prolog Logic programming Ground expression Horn clause Substitution First-order logic
99	Microsoft PowerPoint - Dissvortrag-Version_2007-11-08_online.ppt Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:20:07 Logic Mathematical logic Abstraction Syntax Propositional calculus Non-classical logic Boolean algebra Matrix Well-formed formula Proposition Tautology First-order logic
100	LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-04-07 21:09:24 Logic Mathematical logic Abstraction Predicate logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Constructible universe Quantifier First-order logic

UPDATE